Symbolic ARMA Model Analysis

Coverability Analysis Using Symbolic Model Checking

In simulation based verification of hardware, as well as in software testing, one is faced with the challenge of maximizing coverage of testing while minimizing testing cost. To this end, sophisticated techniques are used to generate clever test cases, and equally sophisticated techniques are employed by engineers to determine the quality a.k.a. coverage attained by the tests. The latter activi...

Symbolic Analysis for Automatic Model Generation

This paper presents a methodology for automatically extracting an equivalent circuit model starting from a set of equations. Once the device models are built, they can be easily handled and interconnected. This method therefore proves to be particularly suitable for large system studies using an object oriented implementation. The proposed methodology involves the following steps. The equations...

Towards Symbolic Analysis of Model Transformations

As the Unified Modeling Language is evolving into a family of languages with individually specified semantics, there is an increasing need for highly automated and provenly correct model transformations that assure the integration of local views of the system (in the form of different diagrams) into a consistent global view. Graph transformation provides an easy-to-understand visual specificati...

Reference Prior for ARMA(1,1) Model

Multivariate contemporaneous ARMA model with hydrological applications

In order to allow contemporaneous autoregressive moving average (CARMA) models to be properly applied to hydrological time series, important statistical properties of the CARMA family of models are developed. For calibrating the model parameters, efficient joint estimation procedures are investigated and compared to a set of uivariate estimation procedures. It is shown that joint estimation pro...